Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Libraries∗ SYLVIE BOLDO CATHERINE LELAY

Source URL: www.lri.fr

• Proof assistants
• Real numbers
• Automated theorem proving
• Elementary mathematics
• Type theory
• First-order logic
• Construction of the real numbers
• Constructivism
• Mathematical logic
• Isabelle
• Axiom
• Setoid

COUNTING INTERESTING ELECTIONS LARA K. PUDWELL AND ERIC S. ROWLAND Abstract. We provide an elementary proof of a formula for the number of northeast lattice paths that lie in a certain region of the plane. Equivalently,

Source URL: thales.math.uqam.ca

A short proof of the tree-packing theorem Tomáš Kaiser∗ Abstract We give a short elementary proof of Tutte and Nash-Williams’

Source URL: iti.mff.cuni.cz

An algorithm for two coloring of hypergraphs G´abor Heged˝ us Abstract Let r > 1 be a fix integer. Let H be an arbitrary r-uniform hypergraph. We give an algorithmic, elementary proof of the fact, that there exists a 2

Source URL: iti.mff.cuni.cz

A DISTRIBUTION RELATION ON ELLIPTIC CURVES∗ FRAZER JARVIS March 26, 2004 Abstract In this paper, we give an elementary proof of a curious identity

Source URL: www.afjarvis.staff.shef.ac.uk

Rules and derivations in an elementary logic course Gilles Dowek A problem: deduction rule, formal proof: new notions How to introduce these notions?

Source URL: who.rocq.inria.fr

• F2
• Derivation

An Elementary Proof of a Theorem of Johnson and Lindenstrauss Sanjoy Dasgupta,1 Anupam Gupta2 1 AT&T Labs Research, Room A277, Florham Park, New Jersey 07932; e-mail:

Source URL: www.cs.cmu.edu

On Elementary Linear Logic and polynomial time (Extended Abstract) Patrick Baillot∗ ENS Lyon, Universit´e de Lyon, LIP (UMR 5668 CNRS-ENSL-INRIA-UCBL)

Source URL: www.cs.swan.ac.uk

• Complexity classes
• Proof theory
• Structural complexity theory
• Curry–Howard correspondence
• Type theory
• NP
• Time complexity
• Reduction
• Linear logic
• Theoretical computer science
• Computational complexity theory
• Applied mathematics

1 Solutions for a selected set of problems from the text “Mathematical Tools for Physics” by James Nearing 1.7 Factor the numerator of sinh 2y , it is the difference of squares:

Source URL: www.physics.miami.edu

• Special functions
• Logarithms
• Fourier analysis
• Trigonometric functions
• Inverse trigonometric functions
• Sine
• Unit circle
• Natural logarithm of 2
• Proof that π is irrational
• Mathematics
• Elementary mathematics
• Trigonometry

A Fundamental Flaw In An Incompleteness Proof By Swierczkowski

Source URL: www.jamesrmeyer.com

• Predicate logic
• Model theory
• Elementary mathematics
• Semantics
• Function
• Quantification
• Free variables and bound variables
• Expression
• Interpretation
• Mathematics
• Logic
• Mathematical logic